/* 4 LEDS STM32F4-Discovery */
{ .gpio = GPIO_PORT_D, .pin = (1 << 12) },
{ .gpio = GPIO_PORT_D, .pin = (1 << 13) },
{ .gpio = GPIO_PORT_D, .pin = (1 << 14) },
{ .gpio = GPIO_PORT_D, .pin = (1 << 15) },
